• double turnstile
• double turnstiles

double turnstile (suomeksi)

Määritelmät:

• (lb, en, logic, model theory) The ⊨ symbol used to denote (w, logical entailment, semantic consequence), or the $\backslash models$ symbol used to denote the fact that the model to the left of it satisfies the set of sentences to its right.